Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
991	includestamp 1 Add to Reading List Source URL: www.math.uwaterloo.ca Language: English - Date: 2001-07-03 18:48:39 Formal systems Z notation Principia Mathematica Science Gottlob Frege Peano axioms Function Axiomatic system Axiom Mathematics Logic Mathematical logic
992	Curry’s Formalism as Structuralism∗ Jonathan P. Seldin Department of Mathematics and Computer Science Add to Reading List Source URL: people.uleth.ca Language: English - Date: 2005-09-09 19:46:46 Formal languages Metalogic Philosophy of mathematics Logical syntax Formalism Formal system Foundations of mathematics Formal proof Theorem Logic Mathematics Mathematical logic
993	Predictive Dynamix Inc Add to Reading List Source URL: www.predx.com Language: English - Date: 2007-10-28 23:56:59 Marketing Electronic commerce Formal sciences Customer experience management Data mining Customer relationship management Geographic information system ECRM ADAPA Business Business intelligence Statistics
994	INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE The Ariane 5 Flight 501 Failure - A Case Study in System Add to Reading List Source URL: hal.inria.fr Language: English - Date: 2006-05-24 07:19:58 Systems engineering Ada programming language Cluster Engineering Ariane 5 Software engineering Formal methods Systems design Requirement Spaceflight European Space Agency Software development
995	WHITHER MATHEMATICS? E.B. Davies 15 December 2004 Add to Reading List Source URL: www.mth.kcl.ac.uk Language: English - Date: 2004-12-17 11:21:14 Proof theory Philosophy of mathematics Formal methods Logic in computer science Computer-assisted proof Mathematical proof Axiomatic system Theorem Undecidable problem Mathematics Logic Mathematical logic
996	STUDIES IN LOGIC, GRAMMAR AND RHETORIC[removed]Gradual Computerisation/Formalisation of Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Automated proof checking Theoretical computer science Applied mathematics Mizar and Alcor Mizar Mathematics Proof theory Tarski–Grothendieck set theory Correctness Mizar system Formal methods Ursa Major constellation
997	Type Inference for Record Concatenation and Subtyping Jens Palsberg Add to Reading List Source URL: www.cs.ucla.edu Language: English - Date: 2003-11-05 23:20:33 Data types Theoretical computer science Formal languages Computing Object-oriented programming Obliq Subtype polymorphism Type system Concatenation Mathematics Software engineering Type theory
998	Correctness by Construction: Developing a Commercial Secure System Anthony Hall and Roderick Chapman Add to Reading List Source URL: www.anthonyhall.org Language: English - Date: 2009-06-24 07:47:13 Formal methods Program analysis Ada programming language SPARK Formal verification Static program analysis Common Criteria Software development process Requirement Computing Software engineering Programming language theory
999	PDF Document Add to Reading List Source URL: knoesis.wright.edu Language: English - Date: 2011-07-25 13:29:34 Data Ontology Philosophical logic Geographic information system Spacetime Basic Formal Ontology Modal logic Oracle Spatial Resource Description Framework Knowledge representation Information Science
1000	PDF Document Add to Reading List Source URL: ifgi.uni-muenster.de Language: English - Date: 2010-10-27 09:51:01 Information science Semantic Web Knowledge representation Knowledge Technical communication Geographic information system Semantic similarity Semantic interoperability Formal ontology Information Science Ontology